\begin{tabbing}
$\forall$\=$D$:Dsys, ${\it sched}$:(Id$\rightarrow$($\mathbb{N}\rightarrow$(IdLnk+Id)+Unit)), $v$:($i$:Id$\rightarrow$M($i$).state),\+
\\[0ex]${\it dec}$:($i$,$a$:Id$\rightarrow$M($i$).state$\rightarrow$(M($i$).da(locl($a$))+Unit)), $t$:$\mathbb{N}$.
\-\\[0ex]Feasible($D$) $\Rightarrow$ d{-}comp{-}partial{-}world($D$;$v$;${\it sched}$;${\it dec}$;$t$) $\in$ World
\end{tabbing}